Hotel "Nagoya Castle", Japón

Castle Landenberg

In this paper we demonstrate the workflow of 3D modelling and photorealistic texture mapping based on close range imagery acquired with a mini-UAV (Unmanned Aerial Vehicle) and in terrestrial mode. For generation of a highly accurate 3D model, a combined photogrammetric processing of these images was required. The conducted workflow consists of the following steps: project planning, flight plan...

Nagoya Termination Tool

This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to th...

Sixth Annual Castle Conference

Castle curves and codes

We introduce two types of curves of interest for coding theory purposes: the so-called Castle and weak Castle curves. We study the main properties of codes arising from these curves.

A Design Example Using Castle

CASTLE is a codesign platform which provides a number of design tools for configuring application specific design flows. This paper presents a walk through CASTLE’s codesign environment, following the design flow of a video processing system. The design methodology and the tool usage for this real life example are described, as seen from a designers point of view. The design flow starts with a ...